1
超越初始值:定義兩點邊界值問題
MATH009Lesson 10
00:00
想像拋球與調音吉他的差異。在一個 初始值問題(IVP)中,球的軌跡完全由釋放瞬間的狀態決定。但在一個 邊界值問題(BVP)中,物理規律則由兩個端點的限制條件所決定。正如俗話所說:「數學家必須有一個起點,而這個起點來自經驗。」在邊界值問題中,這種經驗正是系統固定的物理界限。

結構性轉變

雖然初始值問題(IVP)是從單一時間點 $t_0$ 求解演化過程,但兩點邊界值問題(BVP)則尋找一個函數,使其同時滿足微分方程以及在兩個空間位置 $\alpha$ 與 $\beta$ 的條件。

IVP 結構
$$y'' + p(t)y' + q(t)y = g(t)$$ (1) 受制於:$$y(t_0) = y_0, \quad y'(t_0) = y'_0$$ (2) (約束於一點)
BVP 結構
$$y'' + p(x)y' + q(x)y = g(x)$$ (3) 受制於:$$y(\alpha) = y_0, \quad y(\beta) = y_1$$ (4) (約束於兩點)

分類與定義

  • 兩點邊界值問題: 一個微分方程及其適當的邊界條件,指定 $y$ 與 $y'$ 在兩個不同點的值。
  • 齊次: 若強制項函數 $g(x) = 0$ 對所有 $x$ 成立,且邊界值 $y_0$ 與 $y_1$ 均為零。
  • 非齊次: 若問題不滿足齊次條件。

存在性陷阱

與初始值問題(IVP)不同,後者在輕度連續性條件下通常有唯一解,而邊界值問題(BVP)則較為敏感。根據區間與參數的不同,它們可能具有 唯一解無解無限多個解 取決於區間與參數。

範例 1:唯一解
求解 $$y'' + 2y = 0, \quad y(0) = 1, \quad y(\pi) = 0$$ (7)。 通解為 $$y = c_1 \cos(\sqrt{2}x) + c_2 \sin(\sqrt{2}x)$$ (8)。 代入 $y(0)=1$ 得 $c_1=1$。再代入 $y(\pi)=0$,得: $$y = \cos(\sqrt{2}x) - \cot(\sqrt{2}\pi) \sin(\sqrt{2}x)$$ (9)。
範例 2:敏感性
求解 $$y'' + y = 0, \quad y(0) = 1, \quad y(\pi) = a$$ (10)。 通解為:$$y = c_1 \cos x + c_2 \sin x$$ (11)。 由 $y(0)=1 \implies c_1=1$,得 $$y = \cos x + c_2 \sin x$$ (12)。 但在 $y(\pi)$ 處,我們得到 $\cos(\pi) + c_2\sin(\pi) = -1$。
  • 若 $a \neq -1$,則 無解
  • 若 $a = -1$,則 $c_2$ 為任意值,因此產生 無限多個解
🎯 核心原則
邊界條件會改變解存在的本質。務必檢查邊界參數是否與齊次微分方程的自然頻率「對齊」。